-
1 тернарное отношение
Большой англо-русский и русско-английский словарь > тернарное отношение
-
2 ternary relation
-
3 ternary relation
1) Математика: трёхчленное отношение2) Вычислительная техника: тернарное отношение, тройное отношение -
4 three-termed relation
Большой англо-русский и русско-английский словарь > three-termed relation
-
5 three-termed relation
Математика: тернарное отношение, трёхчленное отношение -
6 ternary relation
мат.тернарное отношение, трёхчленное отношение -
7 three-termed relation
мат.трёхчленное [тернарное] отношениеEnglish-Russian scientific dictionary > three-termed relation
-
8 ternary relation
тернарное [тройное] отношениеБольшой англо-русский и русско-английский словарь > ternary relation
-
9 ternary relation
тернарное [тройное] отношениеEnglish-Russian dictionary of computer science and programming > ternary relation
См. также в других словарях:
Тернарное отношение — частный случай n арного алгебраического отношения с n=3 n aрное отношение на множестве М называется подмножество декартова произведения M x M x M x…M (n раз умножить)или Mn (т.е подмножество множества всех упорядоченных n ок элементов из M)… … Википедия
Отношение (логика) — У этого термина существуют и другие значения, см. Отношение. Отношение в логике первого порядка двух и более аргументный предикат (многоместный предикат), двух и более предикатное свойство. Знак отношения: R.[уточнить] В терминах отношений… … Википедия
ПОРЯДКА ОТНОШЕНИЕ — бинарное (двуместное, двучленное) отношение, обладающее свойствами иррефлек сивности (см. Рефлексивность) и транзитивности (из чего следует также его антисимметричность, см. Симметричность). П. о. упорядочивает элементы множества, на к ром оно… … Философская энциклопедия
логика отношений — ЛОГИКА ОТНОШЕНИЙ раздел современной логики, в котором рассматриваются отношения между объектами определенной предметной области (областей). Хотя Л. о. частный случай логики предикатов, а именно многочленных, или многоместных (и местных, и … Энциклопедия эпистемологии и философии науки
СВОЙСТВО — (греч. idion; лат. proprium) то, что присуще к. л. предмету и характеризует его само по себе, а не говорит о его отношении с некоторыми др. объектами. В логике Аристотеля С. то, что присуще всем членам некоторого вида и специфично для них; в… … Философская энциклопедия
Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… … Википедия
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
ПАРА НЕПРОТИВОРЕЧИВАЯ — ПАРА НЕПРОТИВОРЕЧИВАЯ логика (греч. тора возле, вне) класс логических исчислений, в которых логический принцип “из противоречия следует все, что угодно”, не имеет места. Термин “паранепротиворечивая логика” введен в 1976 перуанским философом… … Философская энциклопедия
ПАРАНЕПРОТИВОРЕЧИВАЯ — логика (греч. παρά – возле, вне) – класс логических исчислений, в которых логический принцип «из противоречия следует все, что угодно», не имеет места. Термин «паранепротиворечивая логика» введен в 1976 перуанским философом Ф.Миро Квисада.… … Философская энциклопедия
АВТОМАТ КОНЕЧНЫЙ — математическая модель устройства с конечной памятью, преобразующего дискретную информацию. А. к. является одним из важнейших видов управляющих сиcтем. Содержательно А. к. можно охарактеризовать как устройство, имеющее входной и выходной каналы и… … Математическая энциклопедия
семантика возможных миров — СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ совокупность семантических конструкций для истинностной интерпретации неклассических (не булевых) логических связок, главной особенностью которых является введение в рассмотрение так называемых возможных миров.… … Энциклопедия эпистемологии и философии науки